退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于抽象解释的形式化方法和未来挑战
Patrick Cousot;
机译:基于解释函数的SET和NSL协议的形式分析
机译:使用基于解释函数的方法对SET和NSL协议进行形式化分析
机译:远程教育论坛的建模:基于异步文本的讨论中形式语言作为消息的解释方法
机译:通过抽象解释基于语言的安全性的新挑战改造抽象解释
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:基于实时肌电图的手部假体模式识别控制:现有方法挑战和未来实现的回顾
机译:基于抽象解释的C值分析的形式验证
机译:(54)标题:用于加速模拟到数字转换的方法和系统(57)摘要:公开了用于加速与模拟到数字信号转换相关的处理的技术。在各种实施例中,为与模数转换器一起使用的采样保持和跟踪保持电路提供了加速处理。在各种实施例中采用缩写的采样状态,缩写的复位状态或两者。通过加速处理以避免需要等待信号稳定在预定公差内,可能会引起不同类型的错误。此类误差是在校准期间确定的,并存储以供将来检索和误差补偿。公开了用于在线和离线校准的技术,由此校准可以或可以不影响正常的信号转换处理。本文公开的技术在模数转换中具有广泛的适用性,并且可以在各种情况下实现更快的处理。
机译:通过抽象解释进行双向按位常量传播的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。